Deciding the E+ - class by an a posteriori, liftable order
نویسنده
چکیده
We show that the E +-class can be decided by a liftable order, when it is applied a posteriori. This is a surprising result, because the E +-class was one of the motivations for the study of non-liftable orders. Also surprising is the behaviour of the resolution process. Initially the variable depth of the clauses may grow, but it will not grow deeper than a certain bound. We do not make use of any type of saturation rule in our completeness proof.
منابع مشابه
A Classification of Non-liftable Orders for Resolution
In this paper we study the completeness of resolution when it is restricted by a non-liftable order and by weak subsumption. A non-liftable order is an order that does not satisfy A ≺ B ⇒ AΘ ≺ BΘ. Clause c1 weakly subsumes c2 if c1Θ ⊆ c2, and Θ is a renaming substitution. We show that it is natural to distinguish 2 types of non-liftable orders and 3 types of weak subsumption, which correspond n...
متن کاملA posteriori $ L^2(L^2)$-error estimates with the new version of streamline diffusion method for the wave equation
In this article, we study the new streamline diffusion finite element for treating the linear second order hyperbolic initial-boundary value problem. We prove a posteriori $ L^2(L^2)$ and error estimates for this method under minimal regularity hypothesis. Test problem of an application of the wave equation in the laser is presented to verify the efficiency and accuracy of the method.
متن کاملTractable Learning of Liftable Markov Logic Networks
Markov logic networks (MLNs) are a popular statistical relational learning formalism that combine Markov networks with first-order logic. Unfortunately, inference and maximum-likelihood learning with MLNs is highly intractable. For inference, this problem is addressed by lifted algorithms, which speed up inference by exploiting symmetries. State-of-the-art lifted algorithms give tractability gu...
متن کاملNew Liftable Classes for First-Order Probabilistic Inference
Statistical relational models provide compact encodings of probabilistic dependencies in relational domains, but result in highly intractable graphical models. The goal of lifted inference is to carry out probabilistic inference without needing to reason about each individual separately, by instead treating exchangeable, undistinguished objects as a whole. In this paper, we study the domain rec...
متن کاملSunlight-driven efficient photocatalytic and antimicrobial studies of microwave-assisted Ir-doped TiO2 nanoparticles for environmental safety
A simple, low-cost and an eco-friendly synthesis of Ir-doped titanium dioxide nanoparticles (TiO2 NPs) with an anatase phase by the microwave-assisted method using an aqueous solution of titanium tetra-isopropoxide (TTIP) and iridium (III) chloride monohydrate.<span class="CharOverride...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 104 شماره
صفحات -
تاریخ انتشار 2000